Intellectual property protection by incubated companies: Using formal and non-formal methods

Formal Methods for Intellectual Property Composition Across Synchronization Domains

Layout Design of a Furniture Production Line Using Formal Methods

This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.

?Logic and Formal Ontology: Is the Final Formal Ontology Possible

Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...

Computing Science INTELLECTUAL PROPERTY PROTECTION USING OBFUSCATION

In this technical report, we discuss the use of code obfuscation as means of protecting the intellectual property of software. An obfuscation is a behaviour preserving program transformation which aims to make a program harder to understand (which can mean it becomes unintelligible to automated program comprehension tools or that the result of program analyses become less useful to a human adve...

Bioinformatics and Intellectual Property Protection

This article describes the nature of bioinformatics and how the various components of bioinformatics relate to intellectual property law. The article begins by "decomposing" bioinformatics into three categories: (A) biological sequences such as DNA, RNA, and protein sequences; (B) databases in which these sequences are organized; and (C) software and hardware designed to access, organize, and a...